一种基于模型的系统设计方法

提出一种面向功能需求,基于模型的"V"型系统设计方法,通过图形化行为建模技术对系统功能进行分解,运用多种仿真和验证技术,在设计过程中实现对系统功能、行为以及与需求规范的一致性和完整性进行实时验证,及时发现并纠正错误,从而避免在产品的物理原型阶段或测试阶段才发现系统设计的错误.     

基于扩展状态机的资源泄漏检测方法

基于扩展状态机对资源泄漏故障进行描述，给出了资源泄漏缺陷状态机，定义了缺陷的状态、状态迁移图和状态转换表。设计和实现了资源泄漏检测算法。该算法在对控制流进行遍历的过程中，按照资源泄漏缺陷状态机给出的转换条件进行状态计算，如果计算结果为故障，则报告1个资源泄漏故障。应用该算法对大型开源软件进行测试，发现多个资源泄漏故障。测试结果表明：该算法具有测试效率高和误报率低等特点。     

一类非完整系统的输出反馈控制问题研究

针对一类具有虚拟控制方向和非线性不确定项的非完整系统,研究了其输出反馈控制器的设计问题。采用状态转换技术和反推方法,设计了只依赖于输出值的输出反馈控制器。同时为了处理初值为零的情况,提出了基于第一个子系统输出值的切换控制策略,通过仿真算例说明了控制器的有效性。     

US grand strategy and the origins of the developmental state

ABSTRACT

Scholars have credited a model of state-led capitalism called the ‘developmental state’ with producing the economic miracles of Japan, South Korea, and Taiwan. This article examines how the developmental state was shaped by the Cold War. US grand strategy focused on accelerating economic development among allies that were under the greatest threat from Communist China and North Korea. American aid agencies became involved in the process of state-building in Japan, South Korea, and Taiwan and supported economic planning. I verify this claim by contrasting US policies on Taiwan with US policies in the Philippines, which faced a weaker Communist threat.     

基于IMM-RUASFF的网络化目标跟踪算法

针对目前网络化目标跟踪算法存在实时性差、精度低等问题进行了研究。首先,基于网络信息共享需求,建立了网络探测节点的目标跟踪模型;其次,网络探测节点目标跟踪需求和实战要求发现目标经常是有多种运动状态并存,而单一模型的滤波器不能满足对机动目标跟踪性能的要求,采用了基于交互式多模型(Interacting Multiple Model,IMM)的有反馈实时更新的异步状态融合算法。最后,针对多个探测节点目标跟踪的状态融合估计问题,提出了一种有反馈实时更新的异步状态融合算法,通过仿真验证了算法的有效性。     

一种适于DSPs实现的BPSK载波同步方法

提出了全数字接收机中一种软件实现的BPSK载波同步方法 ,并给出了性能分析 ,适合于在存储空间和实时性都有要求的背景下的应用。该方法充分利用软件实现的优势 ,克服了传统方法的一些弱点 ,适合于在数字信号处理器 (DSPs)上实现     

高海情对反导舰炮命中概率的影响

根据某型反导舰炮配装的舰船摇摆特性及海浪运动数学模型，首先模拟得到高海情舰船摇摆趋势图；然后分析了高海情对反导舰炮射击诸元的影响；其次，采用变换抽样法在高海情射击诸元变化范围内随机产生方位角和高低角增量，通过解6自由度弹道方程计算方位角和高低角增量概率误差，再根据概率误差解算高海情条件下系统的命中概率；最后，对大量的仿真计算结果进行统计分析，得出了具有实用价值的结论，为靶场试验及系统精度设计提供参考。     

基于状态约减的信息攻防图生成算法

针对攻防图构建中存在的状态爆炸问题,提出一种基于状态约减的攻防图生成算法。该算法在分析攻击者和目标网络特点的基础上,对独立状态节点的权限进行对比;其在保留最高权限节点的前提下,实现对低权限节点的约减,并去除冗余攻击路径。仿真实验表明算法具有计算复杂度低、能有效降低状态爆炸以及控制攻防图规模等优点。     

六相无刷直流电动机谐波转矩的分析与计算

无刷直流电动机具有诸多优点,但运行中仍然存在转矩脉动问题.分析了六相无刷直流电动机的工作原理,推导了六相无刷直流电动机的状态方程,采用状态变量法对电机转矩产生的关键量--反电势波形和电流波形进行了仿真和试验研究,对六相无刷直流电动机的谐波转矩进行了分析和推导,得出了通过减小电流滞后角可控制甚至消除正弦谐波脉动转矩的结论.     

双模量子态在原子介质中的存储

从四能级暗态极化子出发,讨论双模量子场与原子介质的信息转换过程以及2信号场之间的信息转换过程。利用双-Λ型四能级原子系统,可以存储双模量子态(包括一些纠缠态),从理论上解释了双模量子信息在介质中的"写入"和"读出"过程。提供了双信号场存储的实验方案。